Constraint algorithm - PDFSEARCH.IO - Document Search Engine

Constraint algorithm
Results: 320

#	Item
31	Scene Constraints-Aided Tracking of Human Body Masanobu Y amamoto and Katsutoshi Y agishita Department of Information Engineering Niigata Universit y 8050, Ikarashi 2-nocho, Niigata, Japan ata-u. Add to Reading List Source URL: www.vision.ie.niigata-u.ac.jp Language: English - Date: 2003-08-04 23:39:46 Classical mechanics Mechanical engineering Energy Force Mechanics Work Conference on Computer Vision and Pattern Recognition Rigid body Constraint algorithm Holonomic constraints Rational motion
32	Towards a deterministic algorithm for the International Timetabling Competition Oscar Ch´ avez Bosquez1 , Pilar Pozos Parra1 , and Florian Lengyel2 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-25 10:54:16 Mathematical optimization Operations research Constraint programming Constrained optimization Algorithm Optimization problem Constraint
33	A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1 Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:07:40 Constraint programming Numerical software Automated theorem proving DPLL algorithm Packing problems Solver Constraint satisfaction Reduction Algorithm Exponential time hypothesis Bin packing problem
34	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Operations research Algorithm Theoretical computer science Axiom Logic programming Euclidean geometry Datalog Mathematical optimization Constraint satisfaction Satisfiability modulo theories Foundations of geometry
35	1 Efficient Distributed Algorithms For Structured Optimization Problems João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, and Markus Püschel Add to Reading List Source URL: www.ee.ucl.ac.uk Language: English - Date: 2013-07-05 07:45:59 A* search algorithm Combinatorial optimization Game artificial intelligence Constraint programming Decomposition method Binary decision diagram
36	Combining Constraint Programming, Lagrangian Relaxation and Probabilistic Algorithms to solve the Vehicle Routing Problem Daniel Guimarans1 , Rosa Herrero1 , Daniel Riera2 , Angel A. Juan2 , and Juan Jos´e Ramos1 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-18 03:15:30 Operations research Mathematical optimization Search algorithms NP-complete problems Combinatorial optimization Variable neighborhood search Vehicle routing problem Travelling salesman problem Heuristic A* search algorithm Lagrangian relaxation Local search
37	Solving Dynamic Constraint Satisfaction Problems: Relations between Problem Alteration and Search Performance Richard J. Wallace, Diarmuid Grimes and Eugene C. Freuder Cork Constraint Computation Centre and Department of Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 06:10:17 Constraint programming Operations research Search algorithms Constraint satisfaction problem Mathematical optimization Constraint satisfaction Heuristic Algorithm Duality Backtracking Travelling salesman problem Local consistency
38	1 The Distributed Constraint Satisfaction Problem: Formalization and Algorithms IEEE Trans. on Knowledge and DATA Engineering, vol.10, No.5 September 1998 Makoto Yokoo, Edmund H. Durfee, Toru Ishida, and Kazuhiro Kuwaba Add to Reading List Source URL: agent.inf.kyushu-u.ac.jp Language: English - Date: 2016-07-21 01:26:16 Constraint programming Constraint satisfaction problem Constraint satisfaction Backtracking Multi-agent system Local consistency Interchangeability algorithm
39	Popular Matching: A Constraint Programming Approach Danuta Sorina Chisca, Mohamed Siala, Gilles Simonin, Barry O’Sullivan Insight Centre for Data Analytics, University College Cork, Ireland ∗ {sorina.chisca, mohamed. Add to Reading List Source URL: womencourage.acm.org Language: English Matching Bipartite graph Stable marriage problem HopcroftKarp algorithm
40	Microsoft Word - IBSDM&BI.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:46:34 Constraint programming Inductive reasoning Reasoning Artificial intelligence Case-based reasoning Critical thinking Constraint satisfaction problem Reasoning system Constraint satisfaction Mathematical optimization Intelligent decision support system Search algorithm